Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
121	Hybrid Modelling for Robust Solving Brahim Hnich1 , Zeynep Kiziltan2 , Ian Miguel3 , and Toby Walsh1? 1 ? Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2004-07-14 13:07:19 Computing Constraint satisfaction problem Local consistency Constraint satisfaction Linear programming Decomposition method Constraint programming Software engineering Computer programming
122	A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, and Marco Maratea MRG-DIST, University of Genova viale Francesco Causa, 13 Add to Reading List Source URL: www.satisfiability.org Language: English - Date: 2014-01-20 06:08:37 Constraint programming Model theory Automated theorem proving Logic in computer science NP-complete problems Boolean satisfiability problem Constraint satisfaction Satisfiability Interpretation Theoretical computer science Mathematical logic Mathematics
123	Ann Oper Res[removed]: 179–207 DOI[removed]s10479[removed]y The weighted G RAMMAR constraint George Katsirelos · Nina Narodytska · Toby Walsh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-06-15 22:02:35 Computing Local consistency Constraint satisfaction problem Binary decision diagram Constraint satisfaction Constraint programming Software engineering Computer programming
124	The Chaos Within Sudoku M´ aria Ercsey-Ravasz1, ∗ and Zolt´an Toroczkai2, 3, † arXiv:1208.0370v1 [nlin.CD] 1 Aug 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-08-02 20:18:34 NP-complete problems Logic puzzles Recreational mathematics Constraint programming Logic in computer science 2-satisfiability Sudoku Constraint satisfaction Boolean satisfiability problem Theoretical computer science Mathematics Computational complexity theory
125	MICHAEL MOLLOY, University of Toronto Sharp Thresholds in Random Constraint Satisfaction Problems We consider a wide family of models for random constraint satisfaction problems. This family includes random k-SAT, random Add to Reading List Source URL: cms.math.ca Language: English - Date: 2006-07-10 21:18:21 Mathematical logic Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Constraint satisfaction Satisfiability Theoretical computer science Constraint programming Mathematics
126	1997-Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-10 19:33:58 Quantum information science Constraint programming Quantum algorithm Quantum computer Search algorithm Quantum mechanics Algorithm Constraint satisfaction problem Matrix Applied mathematics Theoretical computer science Physics
127	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke Stefan Frehse Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2011-09-06 04:07:56 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Solver Constraint satisfaction problem Theoretical computer science Applied mathematics Mathematics
128	The Complexity of Reasoning with Global Constraints Christian Bessiere LIRMM, CNRS/U. Montpellier Montpellier, France [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-09-13 04:55:34 Applied mathematics Local consistency Constraint satisfaction problem Constraint satisfaction NP-complete Computational complexity theory NP P versus NP problem Complexity of constraint satisfaction Theoretical computer science Constraint programming Complexity classes
129	Journal of Artificial Intelligence Research[removed] Submitted 08/09; published[removed]Interactive Cost Configuration Over Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.jair.org Language: English - Date: 2010-02-27 15:21:10 Diagrams Theoretical computer science Binary decision diagram Model checking Directed acyclic graph Constraint satisfaction problem Static single assignment form Optimization problem Applied mathematics Boolean algebra Constraint programming Mathematics
130	Filtering algorithms for the multiset ordering constraint Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-01-14 01:44:49 Constraint satisfaction problem Constraint inference Constructible universe Constraint satisfaction Constraint logic programming AC-3 algorithm Constraint programming Computing Local consistency

UPDATE